Definition of Relative Topology